Patch from Martin Lee to restore GMP support for Singular.