The text 70f1d07754fa, as Debian 9 (Stretch) shipped it.
Returns the difference between addr1 and addr2
MPI_Aint_diff(3) on Linux now
