Sometime in the past week or so, -ddump-if-trace has stopped working. It doesn't print out the final summary stats any more, at least when recompiling; when not recompiling we still get a summary. Lemmih, you're the most likely culprit, I'm guessing - could you look into it? Cheers, Simon