added auto-highlight-symbol package