Build and install gmp.h