Removes gmp.h include