mono-tools-4.2-11.mga10.src.rpm build ok