Fix building under Xcode 5