changed NTL big int to GMP big int to fix OpenMP