Support gzip compressed data files (to be used by new version of cli)