MPI_File_sync.openmpi(3) on Linux

The text d67b489acd08, as Debian 11 (Bullseye) shipped it.

Makes semantics consistent for data-access operations (collective).

MPI_File_sync.openmpi(3) on Linux now