cat-file --batch / --batch-check: do not exit if hashes are missing