Move config values from the commandline to obsconfig.h