Load auctex

I'm not sure how auctex was getting loaded before, but now I need to
explicitly load it.