Interrupt *before* writing to STDOUT

Otherwise we get a broken pipe error