[boost] profile-templates

Hello, I'v just learned about your template instantiation profiler tool, and I'm very intrigued ! What is the best way to download and build it ? I tried to check out sandbox/tools/profile_templates, but it seems that is not meant to be used stand-alone. Do I really need to check out the entirety of the sandbox (which is huge !) ? Or are there better ways to do it ? (How does that question fit into the current modularization discussion ? :-) ) Many thanks, Stefan -- ...ich hab' noch einen Koffer in Berlin...