MPI_Buffer_detach.openmpi(3) on Linux

The text 4810008bdddb, as Debian 8 (Jessie) shipped it.

Removes an existing buffer (for use in MPI_Bsend, etc.)

MPI_Buffer_detach.openmpi(3) on Linux now