Use the right OS name for OS X.