Update from stxxl/stxxl@6a79cafb8d284403fa330048091d8deba3449c15