some changes in auctex and auto-complete