Bump gmp version number