Relax dependency on odoc.

24 jobs for devel in 5 minutes and 3 seconds (queued for 6 seconds)