The text 62aaddaf0e13, as Debian 11 (Bullseye) shipped it.
Terminates MPI execution environment.
MPI_Finalize.openmpi(3) on Linux now
