The text 6bbb0d66dd0e, as Debian 7 (Wheezy) shipped it.
Frees a user-defined combination function handle.
MPI_Op_free(3) on Linux now
