Added support for Ubuntu 13.10.