emacs24Packages.auctex: 11.87 -> 11.88