The text 5f201e3f7e95, as Debian 9 (Stretch) shipped it.
Closes a file (collective).
MPI_File_close.openmpi(3) on Linux now
