updating vagrantfile for Michael