Switch to flx instead of ido-better-flex