The text 898d15d60d72, as Debian 9 (Stretch) shipped it.
type_hvector
MPI_Type_hvector(3) on Linux now
