Updated instructions for Ubuntu 13.10