Tweak the options to ctags.