diff --git a/install/packaging/pins.sh b/install/packaging/pins.sh old mode 100644 new mode 100755