fix Ctrl-C on mac