The text 96dfae5dacd4, as Debian 10 (Buster) shipped it.
Query a shared memory window
MPI_Win_shared_query.openmpi(3) on Linux now
