Adding missing header files