upgrade to Ubuntu 13.10