diff -r 876e7eae22be -r 2d3d26e9b191 lib/Tools/getenv
--- a/lib/Tools/getenv	Wed Sep 30 21:05:14 2015 +0200
+++ b/lib/Tools/getenv	Wed Sep 30 21:32:44 2015 +0200
@@ -76,7 +76,7 @@
 fi
 
 if [ -n "$DUMP" ]; then
-  export PATH_JVM="$(jvmpath "$PATH")"
+  export PATH_JVM="$(platform_path "$PATH")"
   exec perl -w -e 'for $key (keys %ENV) { print $key, "=", $ENV{$key}, "\x00"; }' > "$DUMP"
 fi