reverted Vagrantfile