resqueing the Ctrl-C interruption