Update from stxxl/stxxl@1f6b6c481b317c0def58b91bce363828206126f7