The text 7a34eec770cb, as Debian 11 (Bullseye) shipped it.
Perform RMA compare-and-swap
MPI_Compare_and_swap.openmpi(3) on Linux now
