fix #43: batch export