coin-3.1.3-12.mga7.src.rpm build ok