// Update install_version and a few files