Re: Ctrl-C doesn't work in the shell