MPI_Win_flush_local_all(3) on Linux

The text fe6c20d14b4d, as Debian 9 (Stretch) shipped it.

Complete locally all outstanding RMA operations at all targets

MPI_Win_flush_local_all(3) on Linux now