use 7z for gzip compression if available, improves compression efficiency (198K vs. 212K)