add ido.el