Updated Debian 7.1 references to Debian 7.2.