bug #3840 When exporting to gzip format, the data is compressed 2 times