cat-file --batch: flush stdout also when objects are missing