bash provides UID, ksh does not