libsnark-supercop-20141014-6.mga8.src.rpm build ok