add auctex-11.86/