cov-ert/reportfunk not found