Fix issue #840 erroneous readelf -d output.