Fix compilation in XCode 4.6