settings/altdev: fix up settings to match -dev.