Fixing bug with SettingsManager.get_file_location() where the operating system's separator was not being used.