mbjoseph assume covr is installed + use default distro