diff --git a/dune/istl/cholmod.hh b/dune/istl/cholmod.hh
index d5281c23cd51aca3f30252935f0e46e641829b1b..febe5c8cf9d4258dec9ad87792d678f2ae867773 100644
--- a/dune/istl/cholmod.hh
+++ b/dune/istl/cholmod.hh
@@ -133,8 +133,8 @@ public:
     if (inverseSubIndices_.empty()) // no ignore field given
     {
       // simply copy all values
-      for (auto i=0; i<x.size(); i++)
-        for (auto ii=0; ii<x[i].size(); ii++)
+      for (int i=0, s=x.size(); i<s; i++)
+        for (int ii=0, ss=x[i].size(); ii<ss; ii++)
           x[i][ii] = *xp++;
     }
     else // use the mapping from not ignored entries