Fix compilation with Xcode 5 (ugly fix but it works!).