Re: SIGINT handler not set correctly when debugging