Use `gzip` command instead of Python's gzip module