On 10/19/2007 10:54 PM, Jon Daley wrote: > That was on purpose. Then all of us developers don't have to > rename it every time. The build scripts do the right thing to put it > back. woops, sorry. I'm usually reading every commit carefully. This one must have slipped...