replace broken header files