Compute server_config_filename with new parameters.