make --check-... less noisy