Get rid of ctags plugins since don't use it often