Fixed compilation with official DUNE release.