Fixing the Vagrantfile