Fix solver tests on Windows.