Add handler for CTRL-C