Fix installation for Ubuntu 13.10