Tidy up the gmp/ Makefile a bit