A Linux port of OpenBSD's ksh