add Ctrl-C handler option