--- makefile.inc.orig	2005-06-20 18:35:34.000000000 +0200
+++ makefile.inc	2005-07-08 15:32:57.000000000 +0200
@@ -342,7 +342,6 @@ bin-release :
 		DP_MAKE_TARGET=$(DP_MAKE_TARGET) DP_SOUND_API=$(DP_SOUND_API) \
 		CFLAGS="$(CFLAGS_COMMON) $(CFLAGS_EXTRA) $(CFLAGS_RELEASE) $(OPTIM_RELEASE)"\
 		LDFLAGS="$(LDFLAGS_RELEASE) $(LDFLAGS_COMMON)"
-	strip $(EXE)
 
 vid_glx.o: vid_glx.c
 	$(DO_CC) -I/usr/X11R6/include