add support for GZIPed kernels