remove gmp.h