Using flycheck