(manually) applied patch by Gael Guennebaud (re bug #803 in Eigen)