You could always look into the cvs via the web to is if there is a problem still. Thanks, Andrew Pinski On Wednesday, August 14, 2002, at 08:23 , Segher Boessenkool wrote: