fixing Vagrantfile