cat-file: move batch_options definition to top of file