make clean should not be necessary. Just restart the kernel.