Fix build error with GCC 4.8, caused by Eigen 3.1.3