Change auctex to be pulled from the repo (grumble)