Fixed coverage scripts

Works with Xcode 5.0.2