New setting for flycheck, as the default is changed