ADD use flycheck instead of flymake