new options for batch.py