PLATFORMS.md: Add Mac OS X 10.8.