Merge pull request #76 from dart-lang/fix_settings_file_mutation

fix an issue with changing the settings file