Tweaks for ctags