Fix old header file for compilation with clang-500.2.79 in Xcode 5.0.1/OSX 10.9