GMP check should not look for gmp.h directly