[scripts] Use correct version of CS2 solver.