Update batchrun.py