auctex problem