c4538f9
ensure that gdb pretty-printers are usable (cherry picked from commit 602b80a21271dbb298eb7c27e656704252b71b2c)