sync(8) on Linux

The text 72b270d95c22, as Debian 1.3 (Bo), Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

flush Linux filesystem buffers

sync(8) on Linux now