actually include the kernel file with the jar distribution