Eigen 3.1.0 compatibility fix