The text 78c462c67d84, as Debian 10 (Buster) shipped it.
Perform RMA compare-and-swap
MPI_Compare_and_swap.openmpi(3) on Linux now
