Revert "Finally coverage should work on Jenkins."

This reverts commit e73ffda4cf1126e0d39f07d362ba59e1fd44d23a.
Partly revert "One more code coverage fix."

This partly reverts commit 46acb7c1ae8cdfb79249d17ff5863c0f69d4f7d2.