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