[gdb] Update pretty printers