use flycheck