--- uppaal.orig	Wed Sep 13 21:41:07 2006
+++ uppaal	Wed Sep 13 21:41:21 2006
@@ -6,7 +6,7 @@
 
 HERE=`dirname $0`
 JAR=$HERE/uppaal.jar
-ENGINE=$HERE/bin-`uname`
+ENGINE=$HERE/bin-Linux
 if [ "$DISPLAY" = ":0.0" -o "$DISPLAY" = ":0" ]; then 
   java -jar $JAR -enginePath $ENGINE $* 
 else