Fix bug with platform config files.