update Vagrantfile for puppet in /puppet