Added a bin to c program in order to enclose the kernel