Build and install info for Ubuntu 13.10