binaries not stripped

[Sam Hartman]

I'd expect that make install would strip the binaries.  If it doesn't
do so I think that is a bug.  The binaries in the build tree should
not be stripped.