Which means the benchmark currently cannot be started on Windows. Also the helper script `run_tests.py`.