Improve gzip export ratio (bug #387)