add the auctex back