vagrantFile and puppet configuration