exitOKCDKScreen(3) on Linux

The text 644b2181d6d9, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.

functions to support keyboard traversal

exitOKCDKScreen(3) on Linux now