The text c0dab08eb901, as Debian 9 (Stretch) shipped it.
Gets the name of the processor.
MPI_Get_processor_name.openmpi(3) on Linux now
