add option kill_on_ctrl_c