On 24 mei 2006, at 17:30, Florian Klaempfl wrote: > Not really because it is simply a tar ball of several .tar.gz. Because > gzip is spread wider, we use this instead of bzip2/7zip. Isn't bzip2 available more or less everywhere nowadays? (at least where gzip is available, and in particular on Linux?) Jonas