Bump version number for the 2.5-compatible release.