Cross platform handling of Ctrl-C signals.