Re: Problem compiling texis latest CVS (for sure this time)