The text 2b1faa435b23, as Debian 10 (Buster) shipped it.
Perform a local reduction
MPI_Reduce_local.openmpi(3) on Linux now
