Flycheck added and global-auto-revert-mode fixed