I'm not making a distinction between manually editing and automated editing of a header file. Both are a PITA. Changing the header name sounds like a reasonabl

I'm not making a distinction between manually editing and automated editing of a header file. Both are a PITA. Changing the header name sounds like a reasonable suggestion, but I don't think it's a goer with large projects. The problem with headers is that as soon as you are doing anything beyond trivial you can get in to a big fight with the compiler, leading to the following sorts of problems: http://stackoverflow.com/questions/12573816/what-is-an-undefined-reference-unresolved-external-symbol-error-and-how-do-i-fix http://stackoverflow.com/questions/12573816/what-is-an-undef... When these problems are C++ template related, then you have to remember exactly what you changed and where because even on the intel compiler, the compiler isn't really going to tell you what's wrong.