GDB: Update pretty-printers