cat-file: handle --batch format with missing type/size