Fix missing header files

Reinhard Reschrequested to merge
fix-header-triangular_contact into develop

This branch fixes missing header files for older versions of gcc.

Merge request reports