Fixing Vagrantfile.