Reference: https://gitlab.dune-project.org/core/dune-common/issues/77
This should probably be backported, too.
mentioned in commit 327eece1
merged