openmpi-5.0.10-1.mga10.src.rpm build ok