Resolve "Run and fix make headercheck (3.4)" (dumux-repo) Closes #1040 See merge request !2675 (cherry picked from commit e1a0949b) 2709ed6f [headercheck] Fix missing headers and non ISO C++11 code