monodevelop-5.10.0-18.mga10.src.rpm build ok