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