On Mar 21, 2014, at 19:38, René J.V. Bertin wrote: >> Have you contacted the developers of eigen about whether this change is correct? > > No. But I'm planning to have a deeper look into this. Took me a while but today I ran `make test` on the modified code, and that completed just fine. R.