fflush(3) on Linux

The text a9f99bf60368, as Debian 7 (Wheezy) shipped it.

flush a stream

fflush(3) on Linux now