picosat-965-4.mga11.src.rpm build ok