The text 0b858839bc1b, as Debian 10 (Buster) shipped it.
Read using individual file pointer
MPI_File_read(3) on Linux now
