openeuclide-0.5-11.mga9.src.rpm build ok