The text c1241e2bdbf4, as Debian 9 (Stretch) shipped it.
Terminates MPI execution environment.
MPI_Finalize.openmpi(3) on Linux now
