ssh interrupts now work