delete kernel.c~