make use of new solve_cholesky