Fix missing header file for linux
Merge pull request #234 from tapir/master

Missing header for Linux build