* Ubuntu 20.04 provides kcov, so don't build from source * Use two undocumented options for kcov v3.8