The text b6f3509d33b4, as Debian 10 (Buster) shipped it.
Controls profiling.
MPI_Pcontrol.openmpi(3) on Linux now
