reorg of Vagrantfile