The text 8d3f9e01954c, as Debian 8 (Jessie) shipped it.
XXX description here
MPI_Type_get_extent_x(3) on Linux now
