issue #2837: Modify platform compile config files