Better customization of flycheck