ctrl-c closes stdin for plugins so that they are unblocked