The text 2f0e094355f9, as Debian 9 (Stretch) shipped it.
Perform RMA compare-and-swap
MPI_Compare_and_swap.openmpi(3) on Linux now
