Update for auctex on ubuntu