Rename “Mac OS X” → “OS X”. [closes #23]