mangle puppetfile