--- wserver/Makefile.old	2011-03-11 13:47:04.000000000 +0100
+++ wserver/Makefile	2011-03-11 13:47:20.000000000 +0100
@@ -5,7 +5,8 @@
 OBJS=wserver.cmo
 
 all:: pa_macro5.cmo $(OBJS)
-opt:: pa_macro5.cmo $(OBJS:.cmo=.cmx)
+opt:: pa_macro5.cmo
+	$(MAKE) $(OBJS:.cmo=.cmx)
 
 pa_macro5.cmo: pa_macro5.ml
 	camlp5r pa_extend.cmo q_MLast.cmo -o pa_macro5.ppo pa_macro5.ml
--- src/Makefile.old	2013-04-18 21:29:52.727049806 +0200
+++ src/Makefile	2013-04-18 21:30:58.838414496 +0200
@@ -153,6 +153,8 @@
 	) | \
 	sort | uniq | grep -v '^$$' > i18n
 
+config.cmi: gwdb.cmi
+
 always:
 
 depend: