Index: b/src/Makefile
===================================================================
--- a/src/Makefile	2009-11-08 17:26:10.000000000 +0100
+++ b/src/Makefile	2009-11-08 17:26:27.000000000 +0100
@@ -66,7 +66,7 @@
 	echo "Util.compilation_time_hook.val := ct;" >> compilation.ml
 
 clean::
-	$(RM) gwc gwc1 gwc2 consang gwd gwu update_nldb gwlib.ml
+	$(RM) gwc gwc1 gwc2 consang gwd gwu update_nldb gwlib.ml check_base
 
 gwlib.ml:
 	echo "value prefix =" > gwlib.ml
