Added Debian Wheezy 7.1 boxes