MPI_File_write_ordered_end(3) on Linux

The text 14a2d5ce22d7, as Debian 8 (Jessie) shipped it.

Complete a split collective write using shared file pointer

MPI_File_write_ordered_end(3) on Linux now