manual execution of the release script bumps the version number.