add missing auctex file