fixed auctex submodule
fixed auto-highlight-symbol submodule