fix Eigen3 for windows