Update from stxxl/stxxl@4c14bb7e6cb4e2242bd1697189b6947507913efb