fix build on Xcode5