added bits about Windows batch files