The text 20bf38d8a00c, as Debian 8 (Jessie) shipped it.
Set the print name for an MPI RMA window
MPI_Win_set_name(3) on Linux now
