The text 1b9b7e75b596, as Debian 12 (Bookworm) shipped it.
Free an MPI RMA window
MPI_Win_free(3) on Linux now
