Windows batch file for executing