openeuclide-0.5-14.mga10.src.rpm build ok