python's gzip module is garbage, just shell out to zcat