added short option for gzip