Updates to fix syntax and broken example in gdb_test.py