bugfix to batch.run.pl