Tcl_GetStdChannel(3tcl) on Linux

The text 15e429535aa7, as Debian 6.0 (Squeeze) shipped it.

procedures for retrieving and replacing the standard channels

Tcl_GetStdChannel(3tcl) on Linux now