gmp: version bump