MPI_Free_mem.openmpi(3) on Linux

The text 8bd4a9f3b77f, as Debian 9 (Stretch) shipped it.

Frees memory that has been allocated using MPI_Alloc_mem.

MPI_Free_mem.openmpi(3) on Linux now