diff -r 7e1f972df25f -r a8912920ef4f Admin/isatest/settings/mac-poly-M4
--- a/Admin/isatest/settings/mac-poly-M4	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/mac-poly-M4	Fri Apr 09 11:35:50 2010 +0200
@@ -25,4 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
-init_component /home/isabelle/contrib_devel/kodkodi
+init_component "$HOME/contrib_devel/kodkodi"