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