$CONFIG_ARGS are both -config and -args_file