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.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
