[bug 827605] Fix jenkins coverage tests.