Delete gmp.hpp