Linux port of OpenBSD's ksh
