hotfix for Xcode 5.0 issue