linked to gmp in library