So is there a better or worse time to move the include files?At the end of a merge window would seem to bethe least disruptive time. So we can either hit thisnow, or wait until the next merge.-Tony[Just did the ia64 move locally with no apparent problems, should Icommit and send a "please pull"?]