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