build: make coverage reporting work