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