Fix test code coverage not working any longer since Xcode 5.1