fixing Vagrantfile from some breaking changes