Problems with company-auctex fixed upstream