gdb and Python