MPI_Free_mem.openmpi(3) on Linux

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

Frees memory that has been allocated using MPI_Alloc_mem.

MPI_Free_mem.openmpi(3) on Linux now