Update from stxxl/stxxl@b5fea38a6c6e2b5b9107cb92b7fd0af13cb06e75