What happened to ksh in FC3T1?