Fix a compilation error due to missing header file.
Merge pull request #108 from kprav33n/master

fix a compilation error due to missing header file