Make Settings.cs changes compatible with 45600a8b1d7122553a89336486271484a7026150.