use 9.3 as the default version for the download/installation instructions on linux