Dumb config tool, that overwrites the config with a new emulator setting.