fix for kernel-zip