The text eef1437ba4e0, as Debian 9 (Stretch) shipped it.
XXX description here
MPI_Type_get_extent_x(3) on Linux now
