Fixing installation instructions for Ubuntu