Tweak print/auctex version 11.87_1