open gzipped input files with gzip.open