xfce4-dev-tools-4.20.0-1.mga10.src.rpm build ok