fix invocation of coverage-checker