The text 13a0ff38630d, as Debian 10 (Buster) shipped it.
Closes a file (collective).
MPI_File_close.openmpi(3) on Linux now
