Add a dummy argument to the invocation of bash. The Windows format of the
x01, x02, ... files to run the Tcl examples causes an awkward character (CR) to
be added to the extension of the output file.
It is not clear why it is not recognized as a _separate_ option as seems to
be the case with a simple C program. This dummy option is however ignored
and therefore the _proper_ file name is passed to the Tcl program.