diff --git a/strip_bins.sh b/strip_bins.sh old mode 100644 new mode 100755