removed dependency on global krun options; removed some dead code
turned off profiler by default