adding missing header files