Add Debian 7.2 / wheezy codename support.