remove the .ctags, which is not necessary now