Win32 tip

Since it took me many frustrating hours of trial and error to figure out
why something that worked perfectly from the dos prompt didn't work when
I called it via system() I figured I'd share the gained experience:

When using system() to run a batch file, you need to explicitly put in
the .bat extension. That is all.

martin