gdb debugger: add use tty option