modify the gzip codec