batch-file Deprecated batch commands and their replacements