Make distribution-check-{stream} faster