stripped binaries

Hello list! Currently tools/Makefile.in explicitly strips every binary it installs via '$(INSTALL_PROGRAM) -s'. Usually INSTALL_PROGRAM already has '-s' set (unless user specified he wants unstripped binary) Can we please remove the second '-s' ? P.S. IIRC this was already discussed but I can't find it.