build fix for recent Xcode 5