Added Auctex to packages.