The text 28c91e9797e9, as Debian 7 (Wheezy) shipped it.
Collective read using shared file pointer
MPI_File_read_ordered(3) on Linux now