Any pdksh users out there that would like to take over as maintainer of the port? I am no longer using ksh and it doesn't play well on FreeBSD-10 (http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/181438) I marked the port as broken and I doubt I am going to have any time to attempt to resolve the issue. If you are interested, let me know