tamiko@gentoo.org Matthias Maier install cppcheck-htmlreport Enable support for sci-mathematics/z3 backend cppcheck