Fix to be compatible with GMP4