fix up ctags integration