fixing thyra usage for linear solvers