binaries not stripped

[Andrew Hall]

Greetings,

I have what I hope is an easy question.  I have just downloaded and
compiled krb5 1.3.5 but for some reason the binaries produced were not
stripped.  The install dir is over 300M :).  I had strip in my path
prior to running configure.

Any ideas how to get the binaries stripped?

Thanks,

Drew