reencode header files