fflush(3) on Linux

The text a85509e88c8d, as Debian 1.3 (Bo) shipped it.

flush a stream

fflush(3) on Linux now