diff -r d6e51df4e7f0 -r 49b964a6fe11 Admin/MacOS/Info.plist-part2
--- a/Admin/MacOS/Info.plist-part2	Wed Sep 30 23:22:27 2015 +0200
+++ b/Admin/MacOS/Info.plist-part2	Wed Sep 30 23:37:20 2015 +0200
@@ -1,4 +1,4 @@
-<string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
+<string>-Disabelle.root=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
 <string>-Disabelle.app=true</string>
 </array>
 <key>JVMArguments</key>