batch script improved to ease usage under windows
Authored by: fakko 2007-10-11
Parent: [r9]
Child: [r11]
