The text e10b797fb40d, as Debian 8 (Jessie) shipped it.
type_hvector
MPI_Type_hvector(3) on Linux now
