diff -r 876e7eae22be -r 2d3d26e9b191 lib/browser/build
--- a/lib/browser/build	Wed Sep 30 21:05:14 2015 +0200
+++ b/lib/browser/build	Wed Sep 30 21:32:44 2015 +0200
@@ -65,7 +65,7 @@
 
   isabelle_jdk javac -d classes -source 1.4 "${SOURCES[@]}" || \
     fail "Failed to compile sources"
-  isabelle_jdk jar cf "$(jvmpath "$TARGET")" -C classes . ||
+  isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . ||
     fail "Failed to produce $TARGET"
 
   rm -rf classes