Try to detect NTL more reliably
Merge pull request #7 from SnarkBoojum/fix_NTL_detection

Try to detect NTL more reliably