Publishing stxxl-1.4.0