Don't look for GMP header files