added Debian Wheezy 7.2.0 x86_64