The text 129ed8e32791, as Debian 8 (Jessie) shipped it.
Finalize the MPI tool information interface
MPI_T_finalize(3) on Linux now
