--- Makefile.config.orig	2011-12-14 13:19:51.645986499 +0100
+++ Makefile.config	2011-12-14 13:19:57.053913205 +0100
@@ -11,7 +11,7 @@
 
 ## Build options
 
-OCAMLDUCE  :=YES
+#OCAMLDUCE  :=YES
 NATDYNLINK :=YES
 
 # DBG := -g