Re: some console fixes (for ctrl-c handling)