forgot to re-add renamed solvers