Dont bundle kernel.sin in the resulting zip file