MINOR: Windows batch file introduced