add possibly more efficient gzip driver