[TUHS] ksh88 source code?