changed some header files