Only disable gmp on older mac for nightly testing.

The newer mac environment should be able to support gmp.