diff --git a/tools/static_check b/tools/static_check old mode 100755 new mode 100644 diff --git a/update-version.bash b/update-version.bash old mode 100755 new mode 100644