Proposed improvement to testrunner.bat script.