Removed obsolete hack for coverage reports