Fix a build problem with GMP builds.