xctool: fix build with Xcode 5.1