Use puppet for Debian Wheezy