Fixing instructions for Ubuntu 14.04