libsnark-supercop-20141014-4.mga7.src.rpm build ok