The text e7e682fdd47c, as Debian 12 (Bookworm) shipped it.
Perform RMA compare-and-swap
MPI_Compare_and_swap.openmpi(3) on Linux now
