fix build using (broken) 10.8 headers from xcode5