diff --git a/scripts/filter.py b/scripts/filter.py old mode 100644 new mode 100755 diff --git a/scripts/runner.py b/scripts/runner.py old mode 100644 new mode 100755