STXXL supporting scripts