removed not-so-useful ctags stuff