`date` unter ksh