fix up for OSX 10.9 + Xcode 5