Fix in run_tests.py to make it work on Windows

(it was broken by nvxptx target).