Remove unused ctags stuff