Hi, On Tue, May 13, 2003 at 06:44:29PM -0700, Dino Tang wrote: > I'm using the December 2002 Developer Tools set. The last portion of > the log is the following: That's fixed in CVS now. Tomorrows CVS snapshot should contain that fix. Bye, Henning