The text 0756dd04f20c, as Debian 9 (Stretch) shipped it.
Set window info hints
MPI_Win_set_info.openmpi(3) on Linux now
