diff --git a/ttool.exe b/ttool.exe
index 940eb9cb2791f0e955ecb785dea17a903cb538ca..43ff2a18eaec4e0ef8ff66e1fda7b47002d1417a 100755
--- a/ttool.exe
+++ b/ttool.exe
@@ -2,6 +2,6 @@
 
 java -version
 cd bin;
-java -Xmx1024m -jar ttool.jar -config config.xml -experimental -debug -avatar -uppaal -launcher
+java -Xmx1024m -jar ttool.jar -config config.xml -experimental -debug -avatar -uppaal -launcher -openlast