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