Fix coverity config after repo rename