Revert to working Vagrantfile.