buxfig batch.run.pl