The text 631ef1a144ba, as Debian 10 (Buster) shipped it.
Gathers together values from a group of processes
MPI_Gather(3) on Linux now
