[krbdev.mit.edu #6830] "make clean" or "make distclean" leaves an object file behind

[Greg Hudson via RT]

Thanks for the report.  This was fixed on the trunk in r23831 (2010-03-
23) but wasn't (and probably won't be) pulled up into a 1.8 patch 
release.