fix: using auctex-11.87, 11.86.1 backedup.