gnu-efi-3.0.18-1.mga10.src.rpm build ok