Exit event loop when `got_int` is set