Add some header files