Fix Vagrantfile for new vagrant versions.