my $abort = 0;
my $old_sig_int = $SIG{'INT'} || '';
$SIG{'INT'} = sub { $abort = 1; };