Tcl_GetStdChannel(3tcl) on Linux

The text 6d11172bcdb0, as Debian 4.0 (Etch) shipped it.

procedures for retrieving and replacing the standard channels

Tcl_GetStdChannel(3tcl) on Linux now