tools: fix gdb pretty printers

needed after merging 5c3325588ef4e85e85cb201ad9328fe26bbb8dca.
3ef34feaebAndrew Kelley committed on 3/20/2022, 7:36:44 AMparent6d73f89
1 file changedLine totals unavailable