> > Perhaps "make install" should generate an error if it sees obsolete > > headers that are going to cause this problem? > > Probably a good idea. I'll play with this later this week. Perhaps we should start versioning our headers immediately. Patch pending. -benjamin