Just disable auctex for now