package require flycheck