Puppet stuff for my debian box