Fix missing header files

Reinhard Reschrequested to merge
fix-nonlin-headers into develop

This branch fixes issue #100 (closed).

Merge request reports