really use unique filenames for decompressed succinct data instead
of always using the same file name.