Publishing STXXL 1.4.1