Merge branch 'issue/bugs_in_master' into develop

1 job for develop in 1 minute and 4 seconds (queued for 3 seconds)
Status Name Job ID Coverage
failed dune:git--gcc #5727


Name Stage Failure
dune:git--gcc Test
CMakeFiles/amdis.dir/build.make:278: recipe for target 'CMakeFiles/amdis.dir/src/amdis/ProblemStat.cpp.o' failed
make[2]: *** [CMakeFiles/amdis.dir/src/amdis/ProblemStat.cpp.o] Error 1
make[1]: *** [CMakeFiles/amdis.dir/all] Error 2
CMakeFiles/Makefile2:462: recipe for target 'CMakeFiles/amdis.dir/all' failed
Makefile:160: recipe for target 'all' failed
make: *** [all] Error 2
--- Failed to build amdis ---
Terminating dunecontrol due to previous errors!
ERROR: Job failed: exit code 1