bugfix: mask tool memory leak in batch-mode