The text 67e74f7d9a2b, as Debian 10 (Buster) shipped it.
Initializes the MPI execution environment
MPI_Init_thread.openmpi(3) on Linux now
