Don't depend on odoc_utils in the driver
This might make the driver incompatible with some versions of Odoc.
authored by
jon.recoil.org
c194958a
c9cd4fcd