Revert to original Vagrantfile