The text bb89e2edc8fa, as Debian 11 (Bullseye) shipped it.
Checks whether MPI has been initialized
MPI_Initialized.openmpi(3) on Linux now
