Fix a build problem with iOS 6 as base SDK