add Ctrl-C handling