The text 4001938bd6a1, as Debian 10 (Buster) shipped it.
set datatype name
MPI_Type_set_name(3) on Linux now
