Add flycheck-definitions