Vagrant and Puppet config files