Update PLATFORMS.