fix: make ctrl-C work for replays (and perhaps more generally)#1973