Fix solver_util_test on Windows