modify runtests.bat