The text 8078f9d38c7a, as Debian 10 (Buster) shipped it.
Frees the window object and returns a null handle.
MPI_Win_free.openmpi(3) on Linux now
