put Vagrantfile back the way it's meant to be