Fixing Vagrantfile