* main.c (gdb_readline): Avoid printf_filtered, which sets char