Disable code coverage reporting, which doesn't seem to work anymore.