--- a/Admin/isatest/settings/afp-poly Wed Jan 04 10:47:07 2012 +0100
+++ b/Admin/isatest/settings/afp-poly Wed Jan 04 11:01:08 2012 +0100
@@ -28,4 +28,4 @@
ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
-init_component "$CONTRIB/kodkodi"
+init_component "$CONTRIB/kodkodi-1.2.16"