Make ksh work