Tcl_GetStdChannel(3tcl) on Linux

The text a221d72ba085, as Debian 8 (Jessie) shipped it.

procedures for retrieving and replacing the standard channels

Tcl_GetStdChannel(3tcl) on Linux now