Changed write_batch_argvs_file() to new write_batch_shell_file()