Update from stxxl/stxxl@6e35d1a795bb8c305c2c2c5f25e1ec7696692bed