Index: TeXmacs-1.0.7.1-src/Makefile.in
===================================================================
--- TeXmacs-1.0.7.1-src.orig/Makefile.in
+++ TeXmacs-1.0.7.1-src/Makefile.in
@@ -130,9 +130,7 @@ INSTALL:
 	$(CP) $(tmdir)/bin/tm_gs $(DESTDIR)$(tmbin)/bin
 	$(CP) $(tmdir)/plugins/*/bin/* $(DESTDIR)$(tmbin)/bin
 	$(CP) $(tmdir)/plugins/*/lib/*.$(so) $(DESTDIR)$(tmbin)/lib 2>/dev/null || :
-	$(STRIP) $(DESTDIR)$(tmbin)/bin/texmacs.bin
 	$(CP) $(tmdir)/lib/*.$(so) $(DESTDIR)$(tmbin)/lib 2>/dev/null || :
-	$(STRIP) $(DESTDIR)$(tmbin)/lib/*.$(so) 2>/dev/null || :
 	$(CHMOD) 755 $(DESTDIR)$(tmbin)/bin/*
 	$(CHMOD) 755 $(DESTDIR)$(tmbin)/lib/*.$(so) 2>/dev/null || :
 	$(RM) $(DESTDIR)$(tmbin)/lib/*.a