fix Ctrl-C