diff --git a/dev-support/zombie-detector.sh b/dev-support/zombie-detector.sh old mode 100644 new mode 100755