Are Windows Batch Files Safe