MPI_Free_mem(3) on Linux

The text 836ffa2b503b, as Debian 3.1 (Sarge) shipped it.

Free memory that was previously allocated by MPI_ALLOC_MEM

MPI_Free_mem(3) on Linux now