Remove ido-better-flex (sloooow)