Shave off 1.3s of THeader.h compile time