Use smex for minibuffer auto completion