Add ctrl-c handler