updated auctex to git version