Dealing with CTRL-C signals.