eigen3-3.4.0-5.mga10.src.rpm build ok