diff -ur mlton-20070826~/Makefile mlton-20070826/Makefile
--- mlton-20070826~/Makefile	2007-08-26 17:04:14.000000000 -0400
+++ mlton-20070826/Makefile	2007-08-26 18:28:15.000000000 -0400
@@ -430,17 +430,6 @@
 	if $(GZIP_MAN); then						\
 		cd "$(TMAN)" && $(GZIP) $(MAN_PAGES);			\
 	fi
-	case "$(TARGET_OS)" in						\
-	aix|cygwin|darwin|solaris)					\
-	;;								\
-	*)								\
-		for f in "$(TLIB)/$(AOUT)$(EXE)" "$(TBIN)/$(LEX)$(EXE)"	\
-			"$(TBIN)/$(NLFFIGEN)$(EXE)" "$(TBIN)/$(PROF)$(EXE)"	\
-			"$(TBIN)/$(YACC)$(EXE)"; do			\
-			strip --remove-section=.comment			\
-				--remove-section=.note "$$f"; 		\
-		done							\
-	esac
 
 .PHONY: install-docs
 install-docs: