This is another small optimization for NameFinder: If the system doesn't have addr2line installed, we don't want to keep trying to exec it every time a stack trace is printed. I'm checking this in to trunk. Bryce