Removing ctags (again)...