Fix instructions for Ubuntu.