The text bbf5486c1f13, as Debian 10 (Buster) shipped it.
Gets the name of the processor.
MPI_Get_processor_name.openmpi(3) on Linux now
