[jenkins] Updating the version number.