Added global-auto-revert-mode