eigen2-2.0.17-11.mga10.src.rpm build ok