Use the correct repo name in the version file.