See https://github.com/LSTS/dune/pull/209
See LSTS/dune#209