The text a7046b3232cd, as Debian 3.1 (Sarge) shipped it.
Terminates MPI execution environment
MPI_Finalize(3) on Linux now
