removed debugging code from PlatformConfig