The text 4245b8525de2, as Debian 7 (Wheezy) shipped it.
Frees the datatype
MPI_Type_free(3) on Linux now
