gmp: update to 6.0.0.