Fix compilation on Xcode 5.1