Upgrade to v0.9.4; fix settings.json.example