The text 5e5ea939f9d3, as Debian 9 (Stretch) shipped it.
Checks whether MPI has been finalized
MPI_Finalized.openmpi(3) on Linux now
