Revert "hopefully fix the coverage report"

This reverts commit b6de7839bdcf0d8f4e4d96c0eef2addbf2d92a4f.