coverage script broken by library refactoring

The fix is easy here; I'll write a patch.