Merge branch 'fix/headercheck' into 'master' See merge request [!322] [!322]: Nonecore/dune-istl/merge_requests/322