This is needed even though we don't actually use MPI here.  Dune aborts with a
run-time error otherwise.