The text b6beea3525bb, as Debian 3.1 (Sarge) shipped it.
Frees a user-defined combination function handle
MPI_Op_free(3) on Linux now
