sat4j-2.3.5-17.mga10.src.rpm build ok