Tweak print/auctex version 11.87_1
Tweak devel/libdwarf version 20130207