Add dose patch (from opam) to avoid hard failures
Merge pull request #2368 from AltGr/patch-dose

Port the latest dose patch from opam