yet another update to infinality-settings.sh