Update `make coverage`, don't generate HTML output