Remove ctags and use ctags-exuberent instead