diff --git a/tools/make-binaries b/tools/make-binaries old mode 100644 new mode 100755