Fix the batchrun tool.