removed broken customizations for auctex 11.88