wsgi.py: replace gzip with deflate