grub2-mageia-theme-dejavu-1.0-7.4.mga8.src.rpm build ok