diff --git a/add_gr3.9.py b/add_gr3.9.py old mode 100644 new mode 100755 diff --git a/do_sed.sh b/do_sed.sh old mode 100644 new mode 100755 diff --git a/install-gr3.9.sh b/install-gr3.9.sh old mode 100644 new mode 100755