fix sed fix for header file