Delete koptions.h