How do you set the OpenSpan.ini configuration setting?