Change in osmo-ci[master]: install-coverity: ensure it's not installed twice