Remove auctex. Hopefully doesn't break anything