Delete kprintf.h~