Fix batchrun for Linux.