flush(3tcl) on Linux

The text 4ac35456920f, as Debian 10 (Buster), Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

Flush buffered output for a channel

flush(3tcl) on Linux now