Fix coverage on iOS7 (requires CoverageFlusher in project)