The text 36d055fa0878, as Debian 10 (Buster) shipped it.
Terminates MPI execution environment
MPI_Finalize(3) on Linux now
