add a signint handler