See https://gitlab.dune-project.org/core/dune-grid/builds/4219 and https://gitlab.dune-project.org/core/dune-grid/builds/4218