index.py: Continuous integration builds are compressed with 7zip