Update to Ubuntu 13.10