// Update version number in install_version