use gzip to make github happy