The text 35ec3e27d578, as Debian 7 (Wheezy) shipped it.
Gets the name of the processor.
MPI_Get_processor_name(3) on Linux now
