Puppet for debian