Added mkAppCtor to HotTerm