fflush(3) on Linux

The text 3de68ef98b7c, as Debian 10 (Buster) shipped it.

flush a stream

fflush(3) on Linux now