[gambit-list] Question for os_tty.c:1063 to solve closed-TTY input Gambit zombie+CPU hogging bug