revert typh.h