Hi Chris, > I didn't know about ENABLE_STATS :). What is the advantage of > requiring ENABLE_STATS? why not just have opt and friends > unconditionally generate them? I've made producing statistics the default (untested, but what can go wrong?!). Ciao, Duncan.