Delete kernel.h~