Revert to Debian 7.1 in wheezy.