use pruned ovr-rs