Remove auctex package