adding missing header files for Linux