We don't have code coverage anymore.

Instead of dealing with this problem, we punt on it. We don't generate
code coverage numbers anymore. So it's not like it's useful to do this
anymore.