update to batch-files