Move to build for gmp 6.0.0.a