The text 6154d46817f2, as Debian 10 (Buster) shipped it.
Write using shared file pointer
MPI_File_write_shared(3) on Linux now
