Tag: how to write a batch file to run an exe