gdb_StringIO.py: fix bugs