The text 1ec3c0ee1ad6, as Debian 10 (Buster) shipped it.
Write using individual file pointer
MPI_File_write(3) on Linux now
