miss some file in auctex