ido-prefix no longer default