rip out hard-coded default settings, echo into the file