Fixes that settings.json is not created in the mirror (fixes #158)