Makefile: always generate coverage.info