bat extension

• extension for a batch file