diff --git a/scripts/distribute.sh b/scripts/distribute.sh old mode 100644 new mode 100755 diff --git a/scripts/lib.sh b/scripts/lib.sh old mode 100644 new mode 100755 diff --git a/scripts/setup.sh b/scripts/setup.sh old mode 100644 new mode 100755