#554: convex solvers: vertcat->horzcat