Fix compilation on Xcode 4.6