MPI_File_read_all_end(3) on Linux

The text a5a6a094d1cf, as Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.

Complete a split collective read using individual file pointer