printers.py (_use_gdb_pp): New global.