CHG: More robust Vagrantfile with backports