diff --git a/flag_tool b/flag_tool old mode 100644 new mode 100755