This turns gmp into a 64-bit build by tricking it's configure script into believing we're compiling for 64bit. (Which we are, it's just that it doesn't believe it because of the tool name)