Added PuppetLabs-provided Debian boxes