Switch to Debian 7.4