MPI_Finalize(3) on Linux

The text 4c3ae9a985fa, as Debian 2.1 (Slink), Debian 2.0 (Hamm) shipped it.

Terminates MPI execution environment

MPI_Finalize(3) on Linux now