The text 7c7d5136db9c, as Debian 10 (Buster) shipped it.
Disconnect from a communicator
MPI_Comm_disconnect(3) on Linux now
