fix bug in batch.run.pl