work around bug in Xcode 5.0.1