Tried to fix auctex