Delete koptions.cc