does anyone have preference about whether .dot graphviz files are generated by default or not? I find them a bit annoying in as much as they double the number of run files in my working directories to no immediate benefit. --