fix export list for integer-gmp