(Hopefully) make run_test.bat work