--- Makefile.build	2009-02-17 11:14:07.000000000 -0500
+++ Makefile.build	2009-04-08 07:47:41.000000000 -0400
@@ -468,6 +468,7 @@
 bin/coq-interface.opt$(EXE): $(COQMKTOP) $(LINKCMX) $(LIBCOQRUN) $(INTERFACECMX)
 	$(SHOW)'COQMKTOP -o $@'
 	$(HIDE)$(COQMKTOP) -boot -opt $(OPTFLAGS) -o $@ $(INTERFACECMX)
+	$(STRIP) $@
 
 bin/coq-parser$(EXE):$(LIBCOQRUN) $(PARSERCMO)
 	$(SHOW)'OCAMLC -o $@'
@@ -478,6 +479,7 @@
 	$(SHOW)'OCAMLOPT -o $@'
 	$(HIDE)$(OCAMLOPT) -linkall $(OPTFLAGS) -o $@ \
 	  $(LIBCOQRUN) $(DYNLINKCMXA) str.cmxa nums.cmxa $(CMXA) $(PARSERCMX)
+	$(STRIP) $@
 
 pcoq-files:: $(INTERFACEVO) $(INTERFACERC)