Could there be a #define _IO_stdin_used somewhere further up? I am not sure if gdb sees those, so it may output a different symbol from what the program sees.