Update reference to Ubuntu 13.10