auctex version bump