Dune 3.0 compatibility.

Some of the .cpp files were already fixed. These two were forgotten. Now it compiles with dune 3.0.