Update the repo installation instructions now that the version number is in VERSION.