bugfix in batch.run.pl