use SIGINT as exit signal