mp_integer: avoid using a GMP function that is available only in later versions.