Remove gmp_wrapper