add auto-complete-auctex