Fix in run_tests.py to make it work on Windows
(it was broken by nvxptx target).
Merge pull request #921 from dbabokin/alloy

Fix in run_tests.py to make it work on Windows