fix distribution name on Debian Wheezy