Pulling in changes for stxxl-1.4.0