A default setting for DynFlags.Settings?