re-sync k.c and Makefile