The text 31bb76570b7a, as Debian 3.0 (Woody) shipped it.
Terminates MPI execution environment
MPI_Finalize(3) on Linux now
