The text c4ffc3e8b90c, as Debian 10 (Buster) shipped it.
Updates the shared file pointer
MPI_File_seek_shared(3) on Linux now
