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