Update from stxxl/stxxl@20bfe2b82ed20cd37655a3372c03e68da0abb829