Fix #577: app.config is not generated correctly with contents of Settings.settings