some things changed for auctex: now handled through elpa