Add auctex to list of packages