Re: [bug] auctex 1.12 binkit