MPI_Free_mem(3) on Linux

The text 8b5bb0bd4c75, as Debian 3.0 (Woody) shipped it.

Free memory that was previously allocated by MPI_ALLOC_MEM

MPI_Free_mem(3) on Linux now