Make run.py output freq-data in gzipped form.