some old customizations of auctex