Bump the gmp build number

This should have been done in be53cd8b43e20801dc1ddd8919671d29a699b9de.