Debian 7 replaced by Ubuntu 13.10