[Kimchi-devel] [wok 1/3] Fix makefile to ignore Kimchi plugin