diff --git a/extract-files.sh b/extract-files.sh old mode 100644 new mode 100755 diff --git a/setup-makefiles.sh b/setup-makefiles.sh old mode 100644 new mode 100755