While the folder-name stays the same. This also bumps the version number
to 1.0.0.0 (old integer-gmp is at 0.5.1.x)