Do not link to gmp