fixed up Vagrantfile