force auctex