added global-auto-revert-mode