Add support for Debian 7 - make the default, and rename Debian 6 to debian6