mingw-eigen3-3.3.9-2.mga10.src.rpm build ok