The text d6df39b8018d, as Debian 8 (Jessie) shipped it.
Checks whether MPI_Finalize has completed.
MPI_Finalized.openmpi(3) on Linux now
