Fix bug with CLI handling of SIGINT.