Add missing auctex files.