if there is no kernel source, clean still works #14