don't use ido
use gtags
use helm for some stuff