add ctrl-c handler option