The text 8f762f8f1a82, as Debian 9 (Stretch) shipped it.
Frees a user-defined combination function handle.
MPI_Op_free.openmpi(3) on Linux now
