Vagrantfile updated for more recent versions of vagrant