change ido config; add flx-ido