--- lablgtk-2.14.2/src/Makefile.orig	2012-07-31 17:37:12.000000000 +0200
+++ lablgtk-2.14.2/src/Makefile	2012-07-31 17:37:17.000000000 +0200
@@ -191,7 +191,7 @@
 .ml4.cmo:
 	$(CAMLC) -c -pp "$(CAMLP4O) -impl" -impl $<
 .cmxa.cmxs:
-	$(CAMLOPT) -verbose -o $@ -shared -linkall -I . \
+	$(CAMLOPT) -o $@ -shared -linkall -I . \
         -ccopt '$(filter -L%, $(DYNLINKLIBS))' $<
 
 #.ml4.ml: