Do we use `vagrant-ohai`?