disable highlight-symbol-mode