Working koans.bat for Windows 7