diff --git a/contrib/tools/intgamma.sh b/contrib/tools/intgamma.sh old mode 100644 new mode 100755