The text 4bf343032bcb, as Debian 7 (Wheezy) shipped it.
type_hvector
MPI_Type_hvector(3) on Linux now
