[PATCH] Better handling of the auto-ctags feature.