cleanup and workaround of dune-typetree problems

1 job for develop in 1 minute and 4 seconds
Status Job ID Name Coverage
  Test
failed #4975
dune:git--gcc

00:01:04

 
Name Stage Failure
failed
dune:git--gcc Test There is an unknown failure, please try again
CMakeFiles/amdis.dir/build.make:206: recipe for target 'CMakeFiles/amdis.dir/dune/amdis/Initfile.cpp.o' failed
make[2]: *** [CMakeFiles/amdis.dir/dune/amdis/Initfile.cpp.o] Error 1
make[1]: *** [CMakeFiles/amdis.dir/all] Error 2
CMakeFiles/Makefile2:451: recipe for target 'CMakeFiles/amdis.dir/all' failed
Makefile:160: recipe for target 'all' failed
make: *** [all] Error 2
--- Failed to build dune-amdis ---
Terminating dunecontrol due to previous errors!
ERROR: Job failed: exit code 1