COMMON: Make XCode 5.0.1 happier