MPI_Free_mem(3) on Linux

The text d159c4bdbc59, as Debian 4.0 (Etch) shipped it.

Free memory that was previously allocated by MPI_ALLOC_MEM

MPI_Free_mem(3) on Linux now