Resolve coverify binary