Tor binaries are not being stripped properly

The Tor binaries for 0.4.5.12 aren't being stripped properly. file reports the binaries as unstripped and running strip with no arguments significantly reduces the size of the binaries.

For the previous release (0.3.5.17), file reports the binaries as stripped and strip with no arguments has no effect on the size.