Clean gmp.h