diff --git a/scripts/writeKTHSigset.sh b/scripts/writeKTHSigset.sh
old mode 100644
new mode 100755
index 5c2abd0..5c2abd0
--- a/scripts/writeKTHSigset.sh
+++ b/scripts/writeKTHSigset.sh