diff --git a/Makefile b/Makefile
index 7af3a1c8d6f3f994b8c4a365b5c7ff8b30944711..bd8b20feb7d4f62c642997e4b0699793e0ecad33 100755
--- a/Makefile
+++ b/Makefile
@@ -308,6 +308,7 @@ $(TTOOL_PREINSTALL_MACOS:.tgz=.tar): $(BASERELEASE:.tgz=.tar)
 	@mv $(TTOOL_TARGET_MACOS)/uppaal* $(TTOOL_TARGET_MACOS)/uppaal
 	@cp $(TTOOL_DOC)/config_macosx.xml $(TTOOL_TARGET_MACOS)/TTool/bin/config_macosx.xml
 	@sed 's#cd [^;]*#cd TTool/bin#' $(TTOOL_DOC)/ttool_macosx.exe > $(TTOOL_TARGET_MACOS)/ttool.exe
+	@chmod u+x $(TTOOL_TARGET_MACOS)/ttool.exe
 	@$(TAR) uf $@ -C $(TTOOL_TARGET_MACOS) proverif uppaal TTool/bin/config_macosx.xml ttool.exe
 
 $(TTOOL_PREINSTALL_LINUX:.tgz=.tar): $(BASERELEASE:.tgz=.tar)
@@ -318,6 +319,7 @@ $(TTOOL_PREINSTALL_LINUX:.tgz=.tar): $(BASERELEASE:.tgz=.tar)
 	@$(TAR) xzvf $(TTOOL_PRIVATE)/stocks/uppaal.tar.gz -C $(TTOOL_TARGET_LINUX)
 	@cp $(TTOOL_DOC)/config_linux.xml $(TTOOL_TARGET_LINUX)/TTool/bin/config_linux.xml
 	@sed 's#cd [^;]*#cd TTool/bin#' $(TTOOL_DOC)/ttool_linux.exe > $(TTOOL_TARGET_LINUX)/ttool.exe
+	@chmod u+x $(TTOOL_TARGET_LINUX)/ttool.exe
 	@$(TAR) uf $@ -C $(TTOOL_TARGET_LINUX) proverif uppaal TTool/bin/config_linux.xml ttool.exe
 
 $(BASERELEASE:.tgz=.tar): $(JTTOOL_BINARY) $(TTOOL_BINARY) $(LAUNCHER_BINARY) $(TIFTRANSLATOR_BINARY) $(TMLTRANSLATOR_BINARY) $(RUNDSE_BINARY) FORCE
diff --git a/build.txt b/build.txt
index a7ccb1aba34dc0de91d6074ce5fd18051c1a8202..a45c436e93ce4d224cc7f558d8f57b447446ac7e 100644
--- a/build.txt
+++ b/build.txt
@@ -1 +1 @@
-12374
\ No newline at end of file
+12377
\ No newline at end of file
diff --git a/src/main/java/ui/util/DefaultText.java b/src/main/java/ui/util/DefaultText.java
index 62ce37fc4f404af8c3635c39cd104298fd2fa84c..4de93a179fe71e23bd57d1aa85775c0a29fbc391 100755
--- a/src/main/java/ui/util/DefaultText.java
+++ b/src/main/java/ui/util/DefaultText.java
@@ -51,8 +51,8 @@ package ui.util;
  */
 public class DefaultText  {
 
-    public static String BUILD = "12373";
-    public static String DATE = "2017/10/03 02:01:28 CET";
+    public static String BUILD = "12376";
+    public static String DATE = "2017/10/05 09:57:49 CET";
     
     public static StringBuffer sbAbout = makeAbout();