Corrections to installation instructions for Linux