fflush(3) on Linux

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

flush a stream

fflush(3) on Linux now