Fix the same issue for --with-coverage as the unit tests had.