Add ido mode
Remove auctex