Where is the CoreSettings.config file for Symantec Management Platform 7.1 stored?