added cedet, remove auctex mess