small fix to hanlding SetDefaultForPlatform_() in GenerateConfiguration.pl