grub2-mageia-theme-dejavu-1.0-17.mga10.src.rpm build ok