The text 13c10783e233, as Debian 7 (Wheezy) shipped it.
Basic send with user-provided buffering
MPI_Bsend(3) on Linux now
