Fix compilation in Xcode 5.1