Fix add_ampl_solver.