jar target: removed jvmpath -- does not work on Linux!?

--- a/src/Pure/IsaMakefile	Sat Aug 16 16:44:10 2008 +0200
+++ b/src/Pure/IsaMakefile	Sat Aug 16 21:23:01 2008 +0200
@@ -121,9 +121,9 @@
 
 $(SCALA_TARGET): $(SCALA_FILES)
 	@rm -rf classes && mkdir classes
-	scalac -d classes -target jvm-1.5 -optimise $(SCALA_FILES)
+	scalac -d classes -target jvm-1.5 $(SCALA_FILES)
 	@mkdir -p `dirname $@`
-	@cd classes; jar cf `jvmpath $@` isabelle
+	@cd classes; jar cf $@ isabelle
 
 clean-jar:
 	@rm -f $(SCALA_TARGET)