The text 0c3a433f6813, as Debian 9 (Stretch) shipped it.
Free an MPI RMA window
MPI_Win_free(3) on Linux now
