delete mode 100644 tools/stage1_gdb_pretty_printers.py