Re: [Kimchi-devel] [PATCH] Add DESTDIR to make install