Re: auctex problem