MPI_File_write_ordered_end(3) on Linux

The text 2509ce63ec3e, as Debian 7 (Wheezy) shipped it.

Complete a split collective write using shared file pointer

MPI_File_write_ordered_end(3) on Linux now