This change is required to make python-dbg.py compatible with GDB versions before 7.3. (cherry picked from commit 661ca884)