update to gmp 6.1.0