OpenBSD's ksh ported to Linux