fixed for single kernel segments, added gdb debugging to makefile, removed tick counters