Use devhelp for K in C projects