Use ido-hacks